\relax 
\@writefile{toc}{\contentsline {title}{Lecture Notes in Computer Science}{1}}
\@writefile{toc}{\authcount {5}}
\@writefile{toc}{\contentsline {author}{Authors' Instructions}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\newlabel{sec:introduction}{{1}{1}}
\citation{oasis05:xacml}
\citation{anderson04:rbacxacml,ferraiolo01:proposed}
\citation{kalam03:orBac}
\@writefile{toc}{\contentsline {section}{\numberline {2}Background}{3}}
\newlabel{sec:background}{{2}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}XACML Policies}{3}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces An example policy specified in XACML}}{4}}
\newlabel{fig:example}{{1}{4}}
\citation{mouelhi09:tranforming}
\citation{}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Regression Testing + PDP + PEP}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Approach}{5}}
\newlabel{sec:approach}{{3}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Test Selection via Mutation Analysis}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Test Selection via System Test Execution}{6}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces An example mutant policy by changing $R1$'s rule decision (i.e., effect)}}{7}}
\newlabel{fig:rdcexample}{{2}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Test Selection via Play Back}{7}}
\citation{martin06:defining}
\citation{martin07:automated}
\citation{martin07:fault}
\citation{hu07:conformance}
\citation{martin08:assessing}
\bibstyle{plain}
\bibdata{yangtse}
\bibcite{oasis05:xacml}{1}
\bibcite{kalam03:orBac}{2}
\bibcite{anderson04:rbacxacml}{3}
\bibcite{ferraiolo01:proposed}{4}
\bibcite{hu07:conformance}{5}
\bibcite{martin08:assessing}{6}
\bibcite{martin07:automated}{7}
\bibcite{martin07:fault}{8}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}Test Augmentation}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Implementation}{8}}
\newlabel{sec:implementation}{{4}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Experiment}{8}}
\newlabel{sec:experiment}{{5}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Related Work}{8}}
\newlabel{sec:related}{{6}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Conclusion}{8}}
\newlabel{sec:conclusion}{{7}{8}}
\bibcite{martin06:defining}{9}
\bibcite{mouelhi09:tranforming}{10}
